Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
271	I N T E R N AT I ON AL COM PUT E R SCI E NCE I N S T I T U T E Revisiting a basic function on current CPUs: A fast logarithm implementation Add to Reading List Source URL: www.icsi.berkeley.edu Language: English - Date: 2007-06-25 13:05:33 Computer programming Computer arithmetic Software optimization Graphics hardware Video cards Lookup table Floating point CPU cache Natural logarithm Computing Computer hardware Logarithms
272	A Summary of Fortran Nelson H. F. Beebe Center for Scientific Computing Department of Mathematics University of Utah Salt Lake City, UT 84112 Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2001-09-19 07:40:38 Procedural programming languages Data types Fortran Primitive types Computer arithmetic PL/I MAD Conditional C Computing Software engineering Computer programming
273	Cause of Loss Information – Indemnities Only The following table contains the elements included in the Cause of Loss Indemnities Only files that are available for download via the RMA Public Web Sit. The files are crea Add to Reading List Source URL: www2.rma.usda.gov Language: English - Date: 2010-04-27 11:13:55 Institutional investors Computer arithmetic Insurance HTML element Floating point SQL Hexadecimal Crop insurance Computing Notation Financial institutions
274	1 Asymptotic Behavior of the ZZW Embedding Construction Jessica Fridrich, Member IEEE Add to Reading List Source URL: www.ws.binghamton.edu Language: English - Date: 2008-11-11 17:18:11 Error detection and correction Topology Geometry Steganography Constructible universe Hamming code Embedding Hamming distance Symbol Coding theory Mathematics Computer arithmetic
275	Progressions for the Common Core State Standards in Mathematics (draft) c The Common Core Standards Writing Team 6 March 2015 Add to Reading List Source URL: commoncoretools.me Language: English - Date: 2015-03-16 14:02:57 Numeral systems Binary operations Mental arithmetic Mental calculation Subtraction Positional notation Number Numerical digit Carry Mathematics Elementary arithmetic Computer arithmetic
276	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
277	On Subnormal Floating Point and Abnormal Timing Marc Andrysco,1 David Kohlbrenner,1 Keaton Mowery,1 Ranjit Jhala, Sorin Lerner, and Hovav Shacham Department of Computer Science and Engineering University of California, S Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2015-03-30 16:46:44 Software X86 architecture Data types X86 instructions X87 Intel Floating point X86 SIMD Computer architecture Computing Computer arithmetic
278	Decision Procedures for Multisets with Cardinality Constraints Ruzica Piskac and Viktor Kuncak School of Computer and Communication Science ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-12-11 06:05:40 Cardinality Set Combination Boolean satisfiability problem Generalized arithmetic progression Permutation Polynomial Mathematics Combinatorics Multiset
279	Trustworthy Numerical Computation in Scala Eva Darulova Viktor Kuncak ∗ School of Computer and Communication Sciences (I&C) - Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-08-20 05:54:12 Mathematical analysis Applied mathematics Affine arithmetic Machine epsilon Floating point Interval arithmetic Rounding Round-off error Interval Numerical analysis Computer arithmetic Mathematics
280	This is a Chapter from the Handbook of Applied Cryptography, by A. Menezes, P. van Oorschot, and S. Vanstone, CRC Press, 1996. For further information, see www.cacr.math.uwaterloo.ca/hac CRC Press has granted the followi Add to Reading List Source URL: cacr.uwaterloo.ca Language: English - Date: 2011-07-10 02:35:13 Computer arithmetic Binary arithmetic Elementary arithmetic Elementary number theory Modular arithmetic Integer Division Logarithm Multiplication Mathematics Abstract algebra Arithmetic

UPDATE